Section: Partnerships and Cooperations

European Initiatives

• Cooperation with P. Van Hentenryck from Univ. Brown (USA) for the supervision of the PhD of M. Pelleau (1 visit in Nantes).

• Cooperation with P. Flener from Univ. Uppsala (Sweden) on automata, invited (3 visits in Uppsala, 1 visit in Nantes).

• Cooperation with H. Simonis from 4C (Ireland) on the constraint and model seekers (2 visits in Cork, 1 visit in Nantes, 2 papers in 2011).

• Cooperation with M. Carlsson from SICS (Sweden) on the global constraint catalog (negation of automata with and without counters) (1 visit in Uppsala, update of the global constraint catalog in September 2011).